Programming languages for trustworthy AI systems
Zhong Shao's primary research interests encompass programming languages, formal methods, operating systems, and computer security. Within these fields, he is a strong proponent of certified software and firmly believes that certified programming, accompanied by formal proofs, presents the most promising approach to constructing truly reliable software and effectively managing the increasing complexity of future AI systems. In his laboratory, Shao and his team have recently dedicated their efforts to constructing cyber-physical systems that boast robust security guarantees, including self-driving cars and crewless ground/aerial vehicles. Additionally, they have explored real-time machine learning for embedded systems and delved into the realm of the Internet of Things. Notably, their work focuses on system design, algorithmic techniques, and formal methods aimed at constructing secure, dependable, and accountable AI systems.